241. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
المؤلف: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
المکتبة: (طهران)
موضوع: Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
242. The Recursion Method and Its Applications :
المؤلف: edited by D.G. Pettifor, D.L. Weaire.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematical physics.,Physics.
243. The Recursion method and its applications : Proceedings of the Conference, Imperial College, London, England, September 13-14, 1984
المؤلف: editors, D.G. Pettifor and D.L. Weaire
المکتبة: (طهران)
موضوع: Methodology -- Congresses ، Solid state physics,Congresses ، Recursion theory
رده :
QC
176
.
A1R43
1985
244. The Role of Inflection in Scandinavian Syntax.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Scandinavian languages-- Inflection.,Scandinavian languages-- Syntax.,Scandinavian languages-- Syntax.
رده :
PD1701
.
H656
1995
245. The Turing omnibus :
المؤلف: A.K. Dewdney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
246. The beginning of heaven and Earth has no name :
المؤلف: Heinz von Foerster ; edited by Albert Müller and Karl H. Müller ; translated by Elinor Rooks and Michael Kasenbacher
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cybernetics,Knowledge, Theory of,Science-- Philosophy
رده :
Q310
.
V6613
2014
247. The concepts of value; foundations of value theory.
المؤلف: Karl Aschenbrenner
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Begriff,Valeur (Philosophie),Values.
رده :
BD232
.
K375
1971
248. The evolution of human language
المؤلف: ]edited by[ Richard K. Larson, Viviane Deprez, Hiroko Yamakido
المکتبة: کتابخانه و مرکز اسناد پژوهشگاه فرهنگ، هنر و ارتباطات (طهران)
موضوع: Language and languages- Origin,Linguistic change,Biolinguistics,Neurolinguistics,Anthropological linguistics
رده :
P
.
E86
116
2010
249. The language of machines :
المؤلف: Robert W. Floyd, Richard Beigel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions.,Formal languages.,Machine theory.,Berechenbarkeit,Computabilidade e modelos de computacao.,Computable functions.,Formal languages.,Formale Sprache,Formale Sprache.,Machine theory.,Maschinensprache,Maschinensprache.,Theoretische Informatik
رده :
QA267
.
3
.
F56
1994
250. The little typer /
المؤلف: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
رده :
QA76
.
63
.
F75
2018
251. The (new) Turing omnibus :
المؤلف: A.K. Dewdney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
252. The recursion method: application to many-body dynamics
المؤلف: Viswanath, V. S.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Many-body problem,، Recursion theory,، Numerical analysis
رده :
QC
174
.
17
.
P7
V58
1994
253. The role of true finiteness in the admissible recursively enumerable degrees
المؤلف: Greenberg, Noam, 4791-
المکتبة: (طهران)
موضوع: ، Recursion theory,، Recursively enumerable sets,، Finite, The
رده :
QA
3
.
A475
no
.
854
254. The symbolic computation of integrability structures for partial differential equations /
المؤلف: Joseph Krasil'shchik, Alexander Verbovetsky, Raffaele Vitolo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,Differential calculus & equations.,Differential equations, Partial.,Geometry, Differential.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Maths for computer scientists.
رده :
QA377
255. Theoretical computer science :
المؤلف: edited by Peter Deussen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.
256. Theoretical computer science.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA267
.
T446
1979
257. Theory of computation
المؤلف: / Dexter C. Kozen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Computer science--Mathematics,Recursion theory.
رده :
QA
,
267
.
7
,.
K69
,
2006
258. Theory of computation
المؤلف: / Dexter C. Kozen
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Computational complexity,Computer science -- Mathematics,Recursion theory
رده :
QA
267
.
7
.
K69
2006
259. Theory of computation
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Computer science ; Mathematics. ; Recursion theory. ;
260. Theory of computation : with 75 illustrations
المؤلف: Kozen, Dexter
المکتبة: (طهران)
موضوع: ، Computational complexity,Mathematics ، Computer science,، Recursion theory
رده :
QA
267
.
7
.
K69
2006
